Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
711	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type theory Data types Procedural programming languages C++ Type safety Lambda calculus Type system ALGOL 68 Combinatory logic Software engineering Computing Programming language theory
712	Predicate Routing: Enabling Controlled Networking Add to Reading List Source URL: www.planet-lab.org Language: English - Date: 2011-02-22 16:10:24 PlanetLab Tapestry Programming language theory Software engineering Prolog Peer-to-peer Benchmark Pastry Distributed data storage Software testing Computing
713	PDF Document Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:09:34 C programming language Type theory C++ Functional languages Procedural programming languages ALGOL 68 Type system C++ classes Struct Software engineering Programming language theory Computing
714	Financial Statement Designer Add to Reading List Source URL: na.sage.com Language: English - Date: 2014-12-22 19:12:56 Sage Group Financial statement Software engineering Sage ALGOL 68 Computing Programming language theory Pleasanton California
715	Numerical Optimization for Parallel Computing Christian Hafner Institute of Electromagnetic Fields (IEF) Add to Reading List Source URL: alphard.ethz.ch Language: English - Date: 2014-09-05 04:56:57 Mathematical optimization Computing Programming language theory ALGOL 68 Software engineering
716	Microsoft PowerPoint - p08_Machelett_MOSTForum_20140512_linked.pptx Add to Reading List Source URL: www.mostforum.com Language: English - Date: 2015-02-17 10:55:21 C Cross-platform software Enumerated type Computing Software engineering Programming language theory
717	Meeting of April 2, 2008 MINUTES Committee members in attendance: Donald Corey (DC); Joseph Piantedosi (JP); Jim Shea (JS) Ex-officio committee members in attendance: Angelo Colao, Selectmen liaison; Richard Jones (RJ), Add to Reading List Source URL: www.bedforddepot.org Language: English - Date: 2012-02-07 07:10:27 Minutes Second ALGOL 68 Software engineering Computing Parliamentary procedure Programming language theory Meetings
718	Annotation File Format Specification http://types.cs.washington.edu/annotation-file-utilities/ May 1, 2015 Contents 1 Purpose: External storage of annotations Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2015-05-01 15:26:22 Java programming language Cross-platform software C++ Type theory Java syntax Java annotation Java Annotation Attribute Computing Software engineering Computer programming
719	A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2006-10-27 11:28:34 Orbifold Symbol Metalogic Model theory Programming language semantics
720	Appoved at PICES XIV (Oct Add to Reading List Source URL: www.pices.int Language: English - Date: 2007-11-15 15:23:18 Programming language theory Integrated Ocean Observing System Intergovernmental Oceanographic Commission Ocean observations ALGOL 68 Software engineering National Oceanic and Atmospheric Administration Computing Oceanography North Pacific Marine Science Organization GOOS

UPDATE